翻訳と辞書 Words near each other ・ mobile subscriber integrated services directory number ・ mobile triton ・ mobo ・ mobssl-uaf ・ moby ・ mock lisp ・ mockingbird ・ mockingboard ・ mod ・ modal ・ modal logic ・ modam ・ modcal ・ mode ・ mode bit ・ modef ・ model ・ model checking ・ model view controller ・ modeling Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク modal logic ： FOLDOC modal logic An extension of propositional calculus with operators that express various "modes" of truth. Examples of modes are: necessarily A, possibly A, probably A, it has always been true that A, it is permissible that A, it is believed that A. "It is necessarily true that A" means that things being as they are, A must be true, e.g. "It is necessarily true that x=x" is TRUE while "It is necessarily true that x=y" is FALSE even though "x=y" might be TRUE. Adding modal operators [F] and [P], meaning, respectively, henceforth and hitherto leads to a "temporal logic". Flavours of modal logics include: {Propositional Dynamic Logic} (PDL), {Propositional Linear Temporal Logic} (PLTL), {Linear Temporal Logic} (LTL), {Computational Tree Logic} (CTL), {Hennessy-Milner Logic}, S1-S5, T. C.I. Lewis, "A Survey of Symbolic Logic", 1918, initiated the modern analysis of modality. He developed the logical systems S1-S5. JCC McKinsey used algebraic methods ({Boolean algebras スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.